logic An abstract logical theory in which all true

statements have formal proofs within the theory.